jade.content
Class QuantifiedVariable

java.lang.Object
  |
  +--jade.content.QuantifiedVariable

public class QuantifiedVariable

extends java.lang.Object

implements Concept

Author:

Federico Bergenti - Universita` di Parma

Constructor Summary

QuantifiedVariable()
Constructor

Method Summary

java.lang.String	getKind() Sets the kind of the variable, i.e., its cardinality.
Variable	getVariable() Gets the variable.
void	setKind(java.lang.String kind) Sets the kind of the variable, i.e., its cardinality.
void	setVariable(Variable variable) Sets the variable.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

QuantifiedVariable

public QuantifiedVariable()

Constructor

Method Detail

setKind

public void setKind(java.lang.String kind)

Sets the kind of the variable, i.e., its cardinality.

Parameters:

kind - the kind.

getKind

public java.lang.String getKind()

Sets the kind of the variable, i.e., its cardinality.

Returns:

the kind.

setVariable

public void setVariable(Variable variable)

Sets the variable.

Parameters:

variable - the variable

getVariable

public Variable getVariable()

Gets the variable.

Returns:

the variable.